1. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
Author: Jacques Calmet...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2385
2. Automated Technology for Verification and Analysis
Author: \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , هوش مصنوعی -- کنگره ها
Classification :
QA76
.
9
.
A96
A82
2015
E-Book
,
3. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
Author: Harrie de Swart, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1397
4. Automated technology for verification and analysis
Author: Supratik Chakraborty, Madhavan Mukund (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2012eb
5. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
6. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2009
7. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
8. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
9. Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers
Author: Christian Laugier )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Computer vision,Congresses ، Robotics,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
708
10. Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Computer vision-- Congresses,، Robotics-- Congresses,، Automatic theorem proving-- Congresses
Classification :
Q
334
.
G465
1993
11. KI-96 :
Author: Günther Görz, Steffen Hölldobler, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
12. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Author: Franz Baader, Andrei Voronkov )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3452
13. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Author: Matthias Baaz, Andrei Voronkov )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2514
14. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
Author: / Geoff Sutcliffe, Andrei Voronkov (eds.)
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
Classification :
005
.
115
I61L
2005
15. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1085
16. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
Classification :
QA
76
.
9
.
A96
I575
1996
